Morita equivalence of many-sorted algebraic theories
نویسندگان
چکیده
منابع مشابه
Morita equivalence of many-sorted algebraic theories
Algebraic theories are called Morita equivalent provided that the corresponding varieties of algebras are equivalent. Generalizing Dukarm’s result from one-sorted theories to many-sorted ones, we prove that all theories Morita equivalent to an S-sorted theory T are obtained as idempotent modifications of T . This is analogous to the classical result of Morita that all rings Morita equivalent to...
متن کاملConnecting Many-Sorted Theories
Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must behave like homomorphisms on the shared signature. We determine conditions under which decidability of the validity of universal formulae in the component theories transfers to their connection. In addition, we consider varian...
متن کاملTwisted Conformal Field Theories and Morita equivalence
The Morita equivalence for field theories on noncommutative two-tori is analysed in detail for rational values of the noncommutativity parameter θ (in appropriate units): an isomorphism is established between an abelian noncommutative field theory (NCFT) and a nonabelian theory of twisted fields on ordinary space. We focus on a particular conformal field theory (CFT), the one obtained by means ...
متن کاملMany Sorted Algebraic Data Models for GIS
Although many GIS data models are available, a declarative, operational, well-defined, implementation-independent, and objectoriented language is lacking. Based on the theory of many sorted algebra, this work presents a family of geometric data models. Some geographical data models of urban information systems are illustrated using homomorphism. According to the results, the preferred character...
متن کاملOn many-sorted ω-categorical theories
We prove that every many-sorted ω-categorical theory is completely interpretable in a one-sorted ω-categorical theory. As an application, we give a short proof of the existence of non G–compact ω-categorical theories.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2006
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2006.01.014